(declare-fun _substvar_175_ () (Array Bool Bool))
(declare-const r4 Real)
(declare-const r6 Real)
(declare-const r10 Real)
(declare-const arr0 (Array Bool Bool))
(declare-const r16 Real)
(declare-const arr1 (Array (Array Bool Bool) Real))
(assert (= (select (store arr1 (store arr0 (<= r6 0.6184139825 3344.846187) (> r6 (* r10 r4 22439211.0 (- r16 17.0 r4 r16)) 0.0)) 0.0) _substvar_175_) 0.0))
(check-sat)
